Modeling and Validation of Object-Oriented Test Case through Finite State Machine

نویسندگان

  • Taskeen Zaidi
  • Vipin Saxena
چکیده

Distributed computing approach is preferred over centralized approach due to low cost involvement and for providing reliability and expandability to network. An object-oriented language Unified Modeling Language is proposed by the authors to model the dynamic behavior for execution of tasks for the digital watch under distributed environment. A UML state diagram is designed and then converted into the transition diagram for computation of valid test cases by the use of Finite State Machine (FSM). Test cases are validated for the validation of the UML state diagram. The approach for generating the test cases through FSM is very reliable and efficient and does not support for the invalid test cases.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Class Level Test Case Generation in Object Oriented Software Testing

Object-oriented programming consists of several different levels of abstraction, namely, the algorithmic level, class level, cluster level, and system level. In this article, we discuss a testing technique to generate test cases at class level for object-oriented programs. The formal object oriented class specification is used to develop a test model. This test model is based on finite state ma...

متن کامل

Validated Test Models for Software Product Lines: Featured Finite State Machines

Variants of the finite state machine (FSM) model have been extensively used to describe the behaviour of reactive systems. In particular, several model-based testing techniques have been developed to support test case generation and test case executions from FSMs. Most such techniques require several validation properties to hold for the underlying test models. In this paper, we propose an exte...

متن کامل

A Model Transformation Approach for Code Generation from State Machine Diagram

The Unified Modeling Language (UML) is widely considered as the defacto standard for the design of Object Oriented systems. This is standard has been wildly improved by the Model Driven Architecture (MDA) an other inititive of OMG to provide a complete development process for complex system. MDA promotes the use of models through the entire development process starting from a CIM for requiremen...

متن کامل

A Hybrid Regression Test Selection Technique for Object-Oriented Programs

We propose a regression test selection technique that is based on analysis of both the source code of an object-oriented program as well as the UML state machine models of the affected classes. We first construct a dependency graph model of the original program from the source code. When the program is suitably modified, the constructed model is updated to reflect the changes. Our model in addi...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013